gtkradio*: add (allow-none) annotations were appropriate
authorTorsten Schönfeld <kaffeetisch@gmx.de>
Fri, 6 Dec 2013 22:53:41 +0000 (23:53 +0100)
committerTorsten Schönfeld <kaffeetisch@gmx.de>
Fri, 6 Dec 2013 22:57:16 +0000 (23:57 +0100)
commit904bc272500b804e7868f7233883604d5778d133
tree7559151454fe82d2737a68cda45f29fb2324df6d
parentbd2f87514198500115d8e9c7700c8ab7cbb769f1
gtkradio*: add (allow-none) annotations were appropriate

https://bugzilla.gnome.org/show_bug.cgi?id=679563
gtk/deprecated/gtkradioaction.c
gtk/gtkradiobutton.c
gtk/gtkradiomenuitem.c
gtk/gtkradiotoolbutton.c